Dict(
	[12, 5, 13, 16, 11, 1, 1, 10, 1, 1] => QQFieldElem[-32//3, 0, 0, 0])